Nuprl Definition : pm_equal 12,41

i =  j == (i = j (i = (-j)) 
latex



clarification:

i =  j == (i = j   (i = (-j 
latex


DefinitionsP  Q, s = t, , -n
FDL editor aliasespm_equal

origin